Tulokset haulle 期待値 性質 証明